In exercise 2 on sheet 5, the claim to be proven ($\textrm{cr}(y,p,x,q) = -1$) of course refers to the dual construction. (In the primal construction, these 4 lines are not concurrent).
Copy and paste this URL into your WordPress site to embed
Copy and paste this code into your site to embed